Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое inverse interpolation - определение
THEOREM
Craig Interpolation; Craig interpolation lemma; Craig reduct; Craig's interpolation lemma; Craig's interpolation theorem; Interpolation (logic)
Найдено результатов: 307
interpolate
![Piecewise constant interpolation, or [[nearest-neighbor interpolation]]](https://commons.wikimedia.org/wiki/Special:FilePath/Piecewise constant.svg?width=200 "Piecewise constant interpolation, or [[nearest-neighbor interpolation]]")
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
v. (D; tr.) to interpolate into
Interpolation
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
·noun That which is introduced or inserted, especially something foreign or spurious.
II. Interpolation ·noun The act of introducing or inserting anything, especially that which is spurious or foreign.
III. Interpolation ·noun The method or operation of finding from a few given terms of a series, as of numbers or observations, other intermediate terms in conformity with the law of the series.
interpolation
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
interpolation
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
(interpolations)
An interpolation is an addition to a piece of writing. (FORMAL)
The interpolation appears to have been inserted very soon after the original text was finished.
= addition
N-COUNT
Interpolate
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
·vt To Renew; to carry on with intermission.
II. Interpolate ·vt To alter or corrupt by the insertion of new or foreign matter; especially, to change, as a book or text, by the insertion of matter that is new, or foreign to the purpose of the author.
III. Interpolate ·vt To fill up intermediate terms of, as of a series, according to the law of the series; to introduce, as a number or quantity, in a partial series, according to the law of that part of the series.
Interpolating
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
·p.pr. & ·vb.n. of Interpolate.
interpolate
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
[?n't?:p?le?t]
¦ verb
1. insert (words) in a book, especially to give a false impression as to its date.
make such insertions in (a book).
2. interject (a remark) in a conversation.
3. Mathematics insert (an intermediate term) into a series by estimating or calculating it from surrounding known values.
Derivatives
interpolation noun
interpolative adjective
interpolator noun
Origin
C17: from L. interpolat-, interpolare 'refurbish, alter', from inter- 'between' + -polare (rel. to polire 'to polish').
interpolate
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
(interpolates, interpolating, interpolated)
If you interpolate a comment into a conversation or some words into a piece of writing, you put it in as an addition. (FORMAL)
Williams interpolated much spurious matter...
These odd assertions were interpolated into the manuscript some time after 1400.
= insert
VERB: V n, be V-ed into n
interpolate
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
When two machines understand each other. I.e., if you create CAD drawings for a part on a computer, you can send it to a CNC lathe and the CNC lathe interpolates the information given to it by the computer.
The CNC machine interpolates the data sent to it.
The CNC machine interpolates the data sent to it.
Interpolated
METHOD FOR CONSTRUCTING NEW DATA POINTS BETWEEN KNOWN DATA POINTS
Interpolated; Interpolation function; Interpolate; Interpolation error; Interpolating; Quadratic interpolation; Interpolation formula; Interpolant; Interpolates
·Impf & ·p.p. of Interpolate.
II. Interpolated ·adj Provided with necessary interpolations; as, an interpolated table.
III. Interpolated ·adj Introduced or determined by interpolation; as, interpolated quantities or numbers.
IV. Interpolated ·adj Inserted in, or added to, the original; introduced; foisted in; changed by the insertion of new or spurious matter.
Википедия
Craig interpolation
In mathematical logic, Craig's interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ, and the two have at least one atomic variable symbol in common, then there is a formula ρ, called an interpolant, such that every non-logical symbol in ρ occurs both in φ and ψ, φ implies ρ, and ρ implies ψ. The theorem was first proved for first-order logic by William Craig in 1957. Variants of the theorem hold for other logics, such as propositional logic. A stronger form of Craig's interpolation theorem for first-order logic was proved by Roger Lyndon in 1959; the overall result is sometimes called the Craig–Lyndon theorem.
